abstract vector space